The article presents another of those ingenious mind, rebels to the yoke of religion, typical of the Italian Renaissance. Converted to Calvinism and therefore condemned to death by the Inquisition, Guglielmo Grataroli (1516-1568) became a defender of heterodox doctrine. His translation of a report of the Waldensian massacre in Calabria became part of the history of Protestant martyrs. He was the author of numerous treatises on various subjects, for which he widely used the works of Giovanni Michele Alberto da (...) Carrara, Antoine Mizauld and Gerolamo Cardano. The perfect correspondence of the topics discussed makes it probable that Giordano Bruno knew his writings. In particular, the De mutatione temporum, eiusque signis perpetuis may have inspired the De’ segni de’ tempi, a Bruno’s lost opera. This allows us to conjecture the content of the work with greater reliability. (shrink)

In this communication, starting from the relationship between chemistry and biology, I would like to show that the chemical explanation of the material world is today universal and this deserves some philosophical consideration.

Currently, anomalous lived temporality is not included in the main diagnostic criteria or standard symptom checklists. In this article, we present the Transdiagnostic Assessment of Temporal Experience, a structured interview that can be used by researchers and clinicians without a comprehensive phenomenological background to explore abnormal time experiences in persons with abnormal mental conditions regardless of their diagnosis. When extensive data gathered by this scale are available, it will be possible to delineate well-defined anomalous lived temporality profiles for each psychopathological (...) disorder. This instrument may also prove useful for clinicians by providing a more refined assessment of relevant psychopathological symptoms and an in-depth understanding of the patient’s abnormal behaviour as related to specific types of time experience. In the first part of the article, we provide a brief overview of the phenomenological concept of temporality, including pre-phenomenal and phenomenal time, synthesis, conation and synchronization, and of abnormal time experiences in persons affected by psychopathological conditions. In the following part, we describe the basic structure of the interview that comprises seven categories corresponding to the abnormal features of lived temporality: anomalies of synchrony, of time structure, of implicit time flow, of explicit time flow, and anomalous experiences of the past, the present and the future. The paper also includes a section on administration and scoring of the TATE scale, the complete interview and a Likert table for quantifying the frequency, intensity and interference with daily life of the phenomena explored. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

Our objective in this paper is twofold: first, we intend to address the tenability of the enactivist middle way between realism and idealism, as it is proposed in The Embodied Mind. We do so by taking the enactivist conception of bringing forth a world literally in three conceptual levels: enaction, niche construction and social construction. Based on this proposal, we claim that enactivism is compatible with the idea of an independent reality without committing to the claim that organisms have cognitive (...) access to a world composed of properties specified prior to any cognitive activity. Our second goal is to show that our literal interpretation of bringing forth a world not only sustains the legitimacy of the middle way, but it also allows us to revive the conception of evolution as natural drift—which is perhaps the least examined aspect of the original enactivist theory and is central to the understanding of cognition in an enactive way. Natural drift focuses on how structural couplings between organism and environment trigger viable pathways of maintenance and reproduction, instead of selecting the most adapted trait to a pregiven environment. Thus, although enactivists typically do not explore the consequences of their views regarding evolutionary dynamics, we show how natural drift provides a suitable starting point. (shrink)

Are there different sizes of infinity? That is, are there infinite sets of different sizes? This is one of the most natural questions that one can ask about the infinite. But it is of course generally taken to be settled by mathematical results, such as Cantor’s theorem, to the effect that there are infinite sets without bijections between them. These results settle the question, given an almost universally accepted principle relating size to the existence of functions. The principle is: for (...) any sets A and B, if A is the same size as B, then there is a bijection from A to B. The aim of the paper, however, is to argue that this question is in fact wide open: to argue that we are not in a position to know the answer, because we are not in one to know the principle. The aim, that is, is to argue that for all we know there is only one size of infinity. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

Abstract: The standard picture of rationality requires that the agent acts so as to realize her most preferred alternative in the light of her own desires and beliefs. However, there are circumstances where such an agent can predict that she will act against her preferences. The story of Ulysses and the Sirens is the paradigmatic example of such cases. In those circumstances the orthodoxy requires the agent to be ‘sophisticated’. That is to say, she should take into account her expected (...) future choices and prevent her future self to act in certain ways. She should ‘bind’ herself to a certain course of action. This is a form of causal commitment. It is generally recognized that this form of self-commitment is the only one that is available to a rational agent. Rational commitment, where the agent gives herself a reason to act in a certain way rather than making herself act in that way, is considered not feasible. In this paper, I question this verdict. I sketch the broad outlines of a model of rational commitment, which takes as its starting point Michael Bratman’s ‘planning theory’ of intention. There are two important objections against this theory (one by John Broome and one by the Dutch philosopher Govert den Hartogh.) Both criticisms claim that such a theory is a form of ‘bootstrapping’ reasons for action into existence. In the remainder of the paper, I will defend the theory against these objections. This way, I hope to establish that defending the feasibility of rational commitment is not an obvious mistake. (shrink)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

Ecological-enactive approaches to cognition aim to explain cognition in terms of the dynamic coupling between agent and environment. Accordingly, cognition of one’s immediate environment (which is sometimes labeled “basic” cognition) depends on enaction and the picking up of affordances. However, ecological-enactive views supposedly fail to account for what is sometimes called “higher” cognition, i.e., cognition about potentially absent targets, which therefore can only be explained by postulating representational content. This challenge levelled against ecological-enactive approaches highlights a putative explanatory gap between (...) basic and higher cognition. In this paper, we examine scientific cognition—a paradigmatic case of higher cognition—and argue that it shares fundamental features with basic cognition, for enaction and affordance selection are central to the scientific enterprise. Our argument focuses on modeling, and on how models promote scientific understanding. We base our argument on a non-representational account of scientific understanding and on the material engagement theory, for models are hereby conceived as material objects designed for scientific engagements. Having done so, we conclude that the explanatory gap is significantly less threatening to the ecological-enactive approach than it might appear. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

“La vita non è altro che chimica” e “la vita non è riducibile a chimica” sono due idee opposte dello storico problema di identificare la specificità del vivente. Sebbene siano due posizioni opposte, per entrambe la chimica è un punto di riferimento per “leggere” il vivente, è la prospettiva privilegiata in cui “interpretare” il vivente. La prospettiva di questo libro non è quella riduzionista, ma quella sistemica delle relazioni. La vita, come le altre proprietà emergenti, non si esaurisce nelle relazioni (...) con l’interno (le sostanze chimiche costituenti) e con l’esterno (l’ambiente), ma senza di esse non è studiabile scientificamente. Il linguaggio chimico, infatti, è il linguaggio universale della materia, sia di quella che costituisce le rocce sia di quella degli organismi viventi e, parafrasando Galileo, la materia dell’universo è scritta in linguaggio chimico e i suoi caratteri sono atomi, molecole e macromolecole; senza queste conoscenze è un aggirarsi vanamente per un oscuro labirinto. (shrink)

In recent work, William Blattner claims that Heidegger is an empirical realist, but not a transcendental idealist. Blattner argues that, unlike Kant, Heidegger holds that thinking beyond human life warrants no judgment about nature's existence. This poses two problems. One is interpretive: Blattner misreads Kant's conception of the beyond-life as yielding the judgment that nature does not exist, for Kant shares Heidegger's view that such a judgment must lack sense. Another is programmatic: Blattner overstates the gap between Kant's and Heidegger's (...) positions, for both are ontological, not ontic. I solve these problems by showing that Heidegger's analysis of Dasein contains the core of Kant's argument for transcendental idealism: the apriority of space and time. I conclude that Heidegger exemplifies Kant's view that empirical realism just is transcendental idealism. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

This paper defends the view that one's own mental states are metaphysically privileged vis-à-vis the mental states of others, even if only subjectively so. This is an instance of a more general view called Subjectivism, according to which reality is only subjectively the way it is. After characterizing Subjectivism in analogy to two relatively familiar views in the metaphysics of modality and time, I compare the Subjectivist View of the Mental with Egocentric Presentism, a version of Subjectivism recently advocated by (...) Caspar Hare. I argue that the Subjectivist View of the Mental goes a considerable way towards solving certain long-standing philosophical puzzles having to do with the unity of consciousness, the contents of self-awareness and the intransmissibility of experiential knowledge through testimony. (shrink)

It has been observed that, unlike other kinds of singular judgments, mental self-ascriptions are immune to error through misidentification: they may go wrong, but not as a result of mistaking someone else’s mental states for one’s own. Although recent years have witnessed increasing interest in this phenomenon, three basic questions about it remain without a satisfactory answer: what is exactly an error through misidentification? What does immunity to such errors consist in? And what does it take to explain the fact (...) that mental self-ascriptions exhibit this sort of immunity? The aim of this paper is to bring these questions into focus, propose some tentative answers and use them to show that one prominent attempt to explain the immunity to error through misidentification of mental self-ascriptions is unsuccessful. (shrink)

This is a chapter on noncognitivism in a textbook on ethics.

Philosophy of Mind is usualy seen as the theoretical field in which theories about the functioning of the mind are elaborated, to be afterwards empirically tested through Artificial Intelligence. But this empirical approach does not fit the human mind which is not simply a machine. It is therefore possible to see Philosophy of Mind as a necessary creation to empty AI of its philosophical charge.

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

Philosophical discussions of Molyneux's problem within contemporary philosophy of mind tend to characterize the problem as primarily concerned with the role innately known principles, amodal spatial concepts, and rational cognitive faculties play in our perceptual lives. Indeed, for broadly similar reasons, rationalists have generally advocated an affirmative answer, while empiricists have generally advocated a negative one, to the question Molyneux posed after presenting his famous thought experiment. This historical characterization of the dialectic, however, somewhat obscures the role Molyneux's problem has (...) played in spawning debates within the empiricist tradition. Fortunately, the differences between various empiricist accounts have been widely recognized and discussed among historians of philosophy working on the topic. The focus of the present essay is to develop an interpretation of John Locke's views on Molyneux's problem that best coheres with his other views on human understanding as well as with the predominant scientific opinion about the nature of perception during the period in which he lived. (shrink)

Introduction to The Oxford Handbook of Phenomenological Psychopathology.

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...) is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

The problem of self-knowledge has been thoroughly discussed in the context of traditional epistemology. In parallel to the traditional approach to epistemology, Radically Embodied Cognitive Science (RECS) has emerged in the last 30 years as a genuine contender in its field. According to RECS, the unity of analysis of cognitive processes is the dynamics between brain, body and environment. In this paper, I advance a RECS approach to self-knowledge, which immediately suggests that knowing oneself is a matter of knowing what (...) one’s body can do. I then turn to resistance training, particularly weightlifting, and argue that it offers a paradigmatic case of self-knowledge in RECS’s terms. More precisely, resistance training allows the trainee to achieve knowledge of themselves in a fundamentally practical manner—and doing so is transformative of the kind of actions they are capable of. (shrink)

The aims of my paper are to set out Aquinas’s arguments in favour of the thesis of God as Subsistent Being itself; set out the arguments against; and propose a fresh reading of that thesis that takes into account both Thomistic doctrine and the criticisms of it. In this way, I shall proceed as in a medieval quaestio, with arguments in favour, sed contra and respondeo.

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

What is the epistemological status of Big Data? Is there really place for them in a scientific search for new empirical laws?

In order to meet the explanatory challenge levelled against non-representationalist views on cognition, radical enactivists claim that cognition about potentially absent targets involves the socioculturally scaffolded capacity to manipulate public symbols. At a developmental scale, this suggests that higher cognition gradually emerges as humans begin to master language use, which takes place around the third year of life. If, however, it is possible to show that pre-linguistic infants represent their surroundings, then the radical enactivists’ explanation for the emergence of higher (...) cognition is defeated. In this paper, I critically assess experiments designed to show that pre-linguistic infants inherit representational abilities. I begin by outlining these experiments in Sect. 2. In Sect. 3, I argue that these experiments only succeed in supporting widespread representationalism by committing a particular kind of circular reasoning, which I call conjunctivist reasoning due to its origins in the debates about the nature of perception. I conclude by developing two independent yet congruent enactivist lines of interpretation for the experiments discussed in 2. I explain the infants’ responses to atypical experimental conditions based on agent-environment codetermination and then I argue that surprise behavior can be explained in terms of embodied habits and unfulfilled anticipation. (shrink)

Some philosophical considerations over Yann LeCun’s position paper “A Path Towards Autonomous Machine Intelligence”.

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

According to Leibniz’s infinite-analysis account of contingency, any derivative truth is contingent if and only if it does not admit of a finite proof. Following a tradition that goes back at least as far as Bertrand Russell, several interpreters have been tempted to explain this biconditional in terms of two other principles: first, that a derivative truth is contingent if and only if it contains infinitely complex concepts and, second, that a derivative truth contains infinitely complex concepts if and only (...) if it does not admit of a finite proof. A consequence of this interpretation is that Leibniz’s infinite-analysis account of contingency falls prey to Robert Adams’s Problem of Lucky Proof. I will argue that this interpretation is mistaken and that, once it is properly understood how the idea of an infinite proof fits into Leibniz’s circle of modal notions, the problem of lucky proof simply disappears. (shrink)

Relativists make room for the possibility of “faultless disagreement” by positing the existence of subjective propositions, i.e. propositions true from some points of view and not others. We discuss whether the adoption of this position with respect to a certain domain of discourse is compatible with a realist attitude towards the matters arising in that domain. At first glance, the combination of relativism and realism leads to an unattractive metaphysical picture on which reality comprises incoherent facts. We will sketch the (...) contours of a realist-relativist position called “subjectivism”, which avoids this result by giving up the assumption that the points of view of different subjects are all metaphysically “on a par”. (shrink)

A filosofia do direito internacional de Hegel tem recebido certa atenção nos últimos anos. As pesquisas mais recentes têm buscado apresentar uma visão diferente daquela, apresentada no século XIX e primeira metade do século XX, que retratava Hegel como um entusiasta do estado de guerra. Com efeito, também se passou a reavaliar a relação de Hegel com Kant no que diz respeito às questões do direito internacional, sobretudo, a possibilidade da paz. Meu objetivo nesse artigo é, primeiramente, apresentar os aspectos (...) gerais da filosofia do direito internacional de Hegel, enfatizando seu diálogo com Kant. Tento mostrar como Hegel está, em sua discussão, em referência a importantes aspectos do texto kantiano sobre a paz perpétua. Em segunda instância, partindo desse diálogo, argumento que, embora Hegel seja certamente muito mais um crítico do projeto kantiano do que um simpatizante, as implicações últimas de seu pensamento mostram-se, em alguma medida, alinhadas com as da filosofia de Kant. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

Not unlike many contemporary philosophers, Leibniz admitted the existence of temporary truths, true propositions that have not always been or will not always be true. In contrast with contemporary philosophers, though, Leibniz conceived of truth in terms of analytic containment: on his view, the truth of a predicative sentence consists in the analytic containment of the concept expressed by the predicate in the concept expressed by the subject. Given that analytic relations among concepts are eternal and unchanging, the problem arises (...) of explaining how Leibniz reconciled one commitment with the other: how can truth be temporary, if concept-containment is not? This paper presents a new approach to this problem, based on the idea that a concept can be consistent at one time and inconsistent at another. It is argued that, given a proper understanding of what it is for a concept to be consistent, this idea is not as problematic as it may seem at first, and is in fact implied by Leibniz’s general views about propositions, in conjunction with the thesis that some propositions are only temporarily true. (shrink)

Skepticism is one of the most enduring and profound of philosophical problems. With its roots in Plato and the Sceptics to Descartes, Hume, Kant and Wittgenstein, skepticism presents a challenge that every philosopher must reckon with. In this outstanding collection philosophers engage with skepticism in five clear sections: the philosophical history of skepticism in Greek, Cartesian and Kantian thought; the nature and limits of certainty; the possibility of knowledge and related problems such as perception and the debates between objective knowledge (...) and constructivism; the transcendental method as a response to skepticism and the challenge of naturalism; overcoming the skeptical challenge. (shrink)

We present an algebraic account of the Tongan kinship terminology (TKT) that provides an insightful journey into the fabric of Tongan culture. We begin with the ethnographic account of a social event. The account provides us with the activities of that day and the centrality of kin relations in the event, but it does not inform us of the conceptual system that the participants bring with them. Rather, it is a slice in time of an ongoing dynamic process that links (...) behavior with a conceptual system of kin relations and vice versa. To understand this interplay, we need an account of the underlying conceptual system that is being activated during the event. Thus, we introduce a formal, algebraically based account of TKT. This account brings to the fore the underlying logic of TKT and allows us to distinguish between features of the kinship system that arise from the logic of TKT as a generative structure and features that must have arisen through cultural intervention. (shrink)

A necessarily true sentence is 'brute' if it does not rigidly refer to anything and if it cannot be reduced to a logical truth. The question of whether there are brute necessities is an extremely natural one. Cian Dorr has recently argued for far-reaching metaphysical claims on the basis of the principle that there are no brute necessities: he initially argued that there are no non-symmetric relations, and later that there are no abstract objects at all. I argue that there (...) are nominalistically acceptable brute necessities, and that Dorr's arguments thus fail. My argument is an application of Gödel's first incompleteness theorem. (shrink)

There are two intuitions about time. The first is that there's something special about the present that objectively differentiates it from the past and the future. Call this intuition Specialness. The second is that the time at which we happen to live is just one among many other times, all of which are ‘on a par’ when it comes to their forming part of reality. Call this other intuition Egalitarianism. Tradition has it that the so-called ‘A-theories of time’ fare well (...) at addressing the first intuition, but rather badly when it comes to the second. The goal of this article is to offer advice to A-theorists about how to reconcile their view with Egalitarianism. (shrink)

The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without exception. (...) The present proposal is quite different. According to this, there is no such alternative logic. Rather, classical logic retains the status of the ‘one true logic’, but this status must be reconceived so as to be compatible with (almost) all of its rules admitting of exceptions. This would seem to have significant repercussions for a range of widely held views about logic: e.g. that it is a priori, or that it is necessary. Indeed, if the arguments of the paper succeed, then such views must be given up. (shrink)

It is a well-worn platitude that knowledge excludes luck. According to anti-luck virtue epistemology, making good on the anti-luck platitude requires an explicit anti-luck condition along the lines of safety: S knows that p only if S’s true belief that p could not have easily been mistaken. This paper offers an independent, virtue epistemological argument against the claim that safety is a necessary condition on knowledge, one that adequately captures the anti-luck platitude. The argument proceeds by way of analogy. I (...) focus on two paradigmatic kinds of normative achievements that also exclude luck: (i) – having a doxastically justified belief, and (ii) – performing a morally worthy action. I then show that while (i) and (ii) exclude luck, they are nevertheless susceptible to what I call ‘modal luck’. I then move on to show that knowledge, or at least some instance of knowledge, is a normative achievement, which I claim provides strong reasons to expect that knowledge is also susceptible to modal luck. Since safety entails that knowledge is incompatible with modal luck, the argument provides strong reasons to reject safety as a necessary condition on knowledge. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

My paper aims to account for the possibility of disagreements concerning what we know; for clearly, people disagree about what they know. More precisely, my goal is to explain how a contextualist theory of knowledge attributions can explain the existence of disagreement among speakers. My working hypothesis is that genuine epistemic disagreement is possible only under the assumption that the meaning of the word “knowledge” is governed by contexts that are objective, in the sense that the content of the word (...) “knowledge” is fixed for all speakers sharing a common conversational goal. The paper is divided into two sections. In the first section, I explain why current versions of epistemic contextualism cannot account for epistemic disagreement. In the second section, following Christopher Gauker’s theory of linguistic communication, I offer my own contextualist solution to the problem of epistemic disagreement. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

This article argues that using Joseph Raz’s service conception of authority to reject philosophical anarchism can be affected by political anarchism. Whereas philosophical anarchism only denies the authority of the state, political anarchism claims that anarchism is a better alternative to the state. Raz’s theory holds that an institution has authority if it enables people to better conform with reason. I argue that there are cases where anarchism is an existing alternative to the state and better fulfils this condition. Consequently, (...) in these cases, anarchist groups and societies and not the state have legitimate authority. When anarchism is not an existing alternative to the state, the state will, under Raz’s theory, have some legitimate authority, but that authority will be limited because anarchism remains a better possible alternative to the state. To support the political anarchist claim I discuss the anarchist collectives during the Spanish civil war, which I argue are an example of anarchism as an existing alternative to the state that better fulfils Raz’s service conception and also provide suggestive evidence that anarchism is in general a better possible alternative. I also discuss the relationship between political anarchism and authority and I argue that despite some tension they are not irreconcilable. I conclude that the interesting anarchist challenge for political theorists is political not philosophical. (shrink)

Giovanni Mion defends the idea that knowledge is context relative, but, in contrast to current versions of epistemic contextualism, on his view, knowledge is relative to contexts that are objective. Following Christopher Gauker’s conception of what a context is, Mion argues that knowledge is relative to the speakers’ conversational goals; and since the best way to achieve the goals of a conversation depends upon the way the world really is, it follows that participants in a conversation might be unaware (...) of the content of the context that truly governs their conversation. Finally, Mion uses objective contexts to explain why practical interests have epistemic significance. According to him, if we assume that the primary function of language is not to share thoughts, but to achieve practical goals, and, accordingly, that knowledge attributions play primarily an action-guiding role (as opposed to a mind-revealing role), then we are in a better position to understand why knowledge is not just a matter of theoretical factors, but it is also a matter of how much is at stake. (shrink)

In this paper, I will defend a communitarian perspective on the so-called “hinge propositions” (hinges, for short). Accordingly, I will argue that hinges play a normative role, in the sense that, among other things, they govern the mechanisms of social inclusion/exclusion. In particular, I will examine the so-called “religious hinges”; and I will argue that such hinges, being the product of mere indoctrination, are particularly effective in shaping boundaries among communities. Finally, with the help of Peter Munz's theory of altruism, (...) I will attempt to explain why religious hinges play the role they do. (shrink)